Interactive Theorem Proving
Paperback
Published 02 Aug 2011
Save $6.20
- RRP $62.44
- $56.24
Search for "M C J D van Eekelen"
5 results
-
$6.20off
-
$6.98off
Foundational and Practical Aspe...
Paperback
Published 13 Jul 2012Save $6.98
- RRP $55.50
- $48.52
-
$8.88off
Foundational and Practical Aspe...
Paperback
Published 27 Sep 2016Save $8.88
- RRP $62.44
- $53.56
-
Term Graph Rewriting
Hardback
Published 22 Apr 1993 -
Functional Programming and Para...
Book
Published 30 Apr 1993